$\forall$$a$:rationals. qle($a$; $a$)